|
|
Tool for Software Systems Design
Crlík, Radek ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
To be able to create quality software system, one need to analyse it well, design, program and test it. The whole process is called software life-cycle and is studied by software engineering. Today, there are many tools making this process easier. For analysing and designing software UML language became favourite. It enables programmers to describe different aspects of software by graphical diagrams and enables them to comprehend them better. Some of them can be translated into source code in chosen programming language. Problem is maintaining those diagrams during later phases when source code was already generated and is used exclusively. This problem is trying to be solved by Model-Driven Development, where programmer is working with well-defined models that can be automatically transformed into the source code that don't have to be edited by hand. Unfortunately this approach is not universal. This work tries to design and create tool that can work with use case diagrams, class diagrams and object-oriented Petri nets. This tool should allow designing those diagrams and be able to synchronise information between them to make the software design easier.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je zjednodušit tvorbu a modifikaci komplexních modelů systémů a také vytvořit spolehlivý a výkonný nástroj, který je schopen splnit tento účel. Vnitřní datový model editoru je navržen s důrazem na efektivitu a vyhnutím se redundanci. Výsledný editor, který je vytvořen pro podporu modelování v OPM (Object-Process Methodology), je implementován s pomocí webových technologií, především s knihovnou pro tvorbu diagramů na webu, Cytoscape.js. Editor je schopný automaticky propagovat vazby do dalších diagramů a také odvozovat nové vazby od existujících, což šetří čas a ulehčuje proces modelování.
|
|
|
Model Driven Development of Spark Tasks by Means of Eclipse Acceleo
Šalgovič, Marek ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Táto diplomová práca sa zaoberá modelom riadeným vývojom Big Data úloh v prostredí Apache Spark. Na začiatok je čitateľovi predstavený framework Apache Spark a potrebné detaily. Ďalej sa priblíži problematika modelom riadeného vývoja a popíšu sa jeho výhody a nevýhody. V druhej časti je popísaný navrhnutý meta-model pre modelovanie úloh Sparku. Detailne sú popísané vlastnosti navrhnutého profilového diagramu, ktorý rozširuje diagram tried. Následne je implementovaný generátor kódu, ktorého vstup sú modely vyhovujúce navrhnutému meta-modelu. Práca taktiež obsahuje príklady modelov a ich vyhodnotenie.
|
|
|
Dynamic Software Architectures for Distributed Embedded Control Systems
Richta, Tomáš ; Kavička, Antonín (referee) ; Sawa, Zdeněk (referee) ; Janoušek, Vladimír (advisor)
Tato prace se zabyva dynamickou rekonfigurovatelnosti distribuovanych ridicich systemu. Vzhledem k charakteristice techto systemu je pro definici jejich behu pouzit formalismus Petriho siti. Tyto jsou transformovany do proveditelne podoby a nasledne pak interpretovany specializovanym software nainstalovanym na jednotlivych uzlech systemu. Diky vlastnostem pouziteho formalismu je mozne jednotlive casti systemu nahrazovat novymi variantami. Stejne tak je mozne generovat formalni specifikace dilcich casti systemu z abstraktnejsich workflow modelu a popisu ve forme domenove specifickych jazyku.
|
|
|
Model Driven Development of Spark Tasks by Means of Eclipse Acceleo
Šalgovič, Marek ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Táto diplomová práca sa zaoberá modelom riadeným vývojom Big Data úloh v prostredí Apache Spark. Na začiatok je čitateľovi predstavený framework Apache Spark a potrebné detaily. Ďalej sa priblíži problematika modelom riadeného vývoja a popíšu sa jeho výhody a nevýhody. V druhej časti je popísaný navrhnutý meta-model pre modelovanie úloh Sparku. Detailne sú popísané vlastnosti navrhnutého profilového diagramu, ktorý rozširuje diagram tried. Následne je implementovaný generátor kódu, ktorého vstup sú modely vyhovujúce navrhnutému meta-modelu. Práca taktiež obsahuje príklady modelov a ich vyhodnotenie.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je zjednodušit tvorbu a modifikaci komplexních modelů systémů a také vytvořit spolehlivý a výkonný nástroj, který je schopen splnit tento účel. Vnitřní datový model editoru je navržen s důrazem na efektivitu a vyhnutím se redundanci. Výsledný editor, který je vytvořen pro podporu modelování v OPM (Object-Process Methodology), je implementován s pomocí webových technologií, především s knihovnou pro tvorbu diagramů na webu, Cytoscape.js. Editor je schopný automaticky propagovat vazby do dalších diagramů a také odvozovat nové vazby od existujících, což šetří čas a ulehčuje proces modelování.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor) ; Bulej, Lubomír (referee)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
|
|
Tool for Software Systems Design
Crlík, Radek ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
To be able to create quality software system, one need to analyse it well, design, program and test it. The whole process is called software life-cycle and is studied by software engineering. Today, there are many tools making this process easier. For analysing and designing software UML language became favourite. It enables programmers to describe different aspects of software by graphical diagrams and enables them to comprehend them better. Some of them can be translated into source code in chosen programming language. Problem is maintaining those diagrams during later phases when source code was already generated and is used exclusively. This problem is trying to be solved by Model-Driven Development, where programmer is working with well-defined models that can be automatically transformed into the source code that don't have to be edited by hand. Unfortunately this approach is not universal. This work tries to design and create tool that can work with use case diagrams, class diagrams and object-oriented Petri nets. This tool should allow designing those diagrams and be able to synchronise information between them to make the software design easier.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
guest ::
